నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024 నిధులసేకరణ గురించి
1
Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

సంవత్సరం:
2004
భాష:
english
ఫైల్:
PDF, 5.22 MB
0 / 0
english, 2004
3
Interactive Markov Chains: And the Quest for Quantified Quality

Interactive Markov Chains: And the Quest for Quantified Quality

సంవత్సరం:
2002
భాష:
english
ఫైల్:
PDF, 2.92 MB
0 / 0
english, 2002
5
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

సంవత్సరం:
2007
భాష:
english
ఫైల్:
PDF, 7.71 MB
0 / 0
english, 2007
8
Adjuna

Adjuna

భాష:
german
ఫైల్:
PDF, 3.38 MB
0 / 0
german
9
Adjuna

Adjuna

సంవత్సరం:
2010
భాష:
german
ఫైల్:
PDF, 3.68 MB
0 / 0
german, 2010
10
Embedded Systems for Smart Appliances and Energy Management

Embedded Systems for Smart Appliances and Energy Management

సంవత్సరం:
2013
భాష:
english
ఫైల్:
PDF, 4.76 MB
0 / 0
english, 2013
12
Interactive Markov Chains: And the Quest for Quantified Quality

Interactive Markov Chains: And the Quest for Quantified Quality

సంవత్సరం:
2002
భాష:
english
ఫైల్:
PDF, 2.64 MB
0 / 0
english, 2002
17
Illustrierte Geschichte der Urologie

Illustrierte Geschichte der Urologie

సంవత్సరం:
2004
భాష:
german
ఫైల్:
PDF, 38.02 MB
0 / 0
german, 2004